Compilation and Equivalence of Imperative Objects (Revised Report)

We adopt the untyped imperative object calculus of Abadi andCardelli as a minimal setting in which to study problems of compilationand program equivalence that arise when compiling object orientedlanguages. We present both a big-step and a small-stepsubstitution-based operational semantics for the calculus. Our firsttwo results are theorems asserting the equivalence of our substitution based semantics with a closure-based semantics like that given by Abadi and Cardelli. Our third result is a direct proof of the correctness of compilation to a stack-based abstract machine via a small-step decompilation algorithm. Our fourth result is that contextual equivalence of objects coincides with a form of Mason and Talcott's CIUequivalence; the latter provides a tractable means of establishing operational equivalences. Finally, we prove correct an algorithm, used inour prototype compiler, for statically resolving method offsets. This isthe first study of correctness of an object-oriented abstract machine,and of operational equivalence for the imperative object calculus

In Search of HPA Axis Dysregulation in Child and Adolescent Depression

Dysregulation of the hypothalamic–pituitary–adrenal (HPA) axis in adults with major depressive disorder is among the most consistent and robust biological findings in psychiatry. Given the importance of the adolescent transition to the development and recurrence of depressive phenomena over the lifespan, it is important to have an integrative perspective on research investigating the various components of HPA axis functioning among depressed young people. The present narrative review synthesizes evidence from the following five categories of studies conducted with children and adolescents: (1) those examining the HPA system’s response to the dexamethasone suppression test (DST); (2) those assessing basal HPA axis functioning; (3) those administering corticotropin-releasing hormone (CRH) challenge; (4) those incorporating psychological probes of the HPA axis; and (5) those examining HPA axis functioning in children of depressed mothers. Evidence is generally consistent with models of developmental psychopathology that hypothesize that atypical HPA axis functioning precedes the emergence of clinical levels of depression and that the HPA axis becomes increasingly dysregulated from child to adult manifestations of depression. Multidisciplinary approaches and longitudinal research designs that extend across development are needed to more clearly and usefully elucidate the role of the HPA axis in depression

Change in depressive symptoms over higher education and professional establishment - a longitudinal investigation in a national cohort of Swedish nursing students

<p>Abstract</p> <p>Background</p> <p>There are indications of a high prevalence of psychological distress among students in higher education and also that distress increases over the course of study. However, not all studies on student distress controlled for sociodemographic differences and few followed development of distress over an extended period through professional establishment. We investigated if there is an independent effect of time in education and the first two years in the profession on depressive symptoms and mapped change over the period in a national cohort of students.</p> <p>Methods</p> <p>Data came from LANE, a nation-wide longitudinal panel survey of Swedish nursing students (N = 1700) who responded to annual questionnaires over five years from 2002 to 2007. Depressive symptoms were measured by the Major Depression Inventory and change over time analysed in a linear mixed effects model for repeated measures.</p> <p>Results</p> <p>There was a significant change in level of depressive symptoms over time: an increase from the first to later years in education and a decrease to levels similar to baseline after graduation and a year in the profession. The change in symptoms remained significant after adjustment for sociodemographic factors (p < 0.01). Symptom levels differed due to age, gender, household composition and prior nurse assistant training but change over time was similar in all groups. The correlation among the repeated measures, representing within individual correlation over time, varied between 0.44-0.60.</p> <p>Conclusions</p> <p>The findings indicate an independent but transitional effect of time in education and professional establishment on depressive symptoms. We think heightened distress over education abates as the graduate accommodates to the profession. Nevertheless, within education, the differences in depressive symptoms associated to demographic factors can help identify student groups more vulnerable to distress. Also, as individual differences in distress seem to persist over time, perhaps students highly distressed in the beginning of education can be helped by awareness among educators of the elevated levels of distress in late education.</p

Reciprocal relationships between trajectories of depressive symptoms and screen media use during adolescence

Adolescents are constantly connected with each other and the digital landscape through a myriad of screen media devices. Unprecedented access to the wider world and hence a variety of activities, particularly since the introduction of mobile technology, has given rise to questions regarding the impact of this changing media environment on the mental health of young people. Depressive symptoms are one of the most common disabling health issues in adolescence and although research has examined associations between screen use and symptoms of depression, longitudinal investigations are rare and fewer still consider trajectories of change in symptoms. Given the plethora of devices and normalisation of their use, understanding potential longitudinal associations with mental health is crucial. A sample of 1,749 (47% female) adolescents (10-17 years) participated in six waves of data collection over two years. Symptoms of depression, time spent on screens, and on separate screen activities (social networking, gaming, web browsing, TV/passive) were self-reported. Latent growth curve modelling revealed three trajectories of depressive symptoms (Low-Stable, High-Decreasing, and Low-Increasing) and there were important differences across these groups on screen use. Some small, positive associations were evident between depressive symptoms and later screen use, and between screen use and later depressive symptoms. However, a Random Intercept Cross Lagged Panel Model revealed no consistent support for a longitudinal association. The study highlights the importance of considering differential trajectories of depressive symptoms and specific forms of screen activity to understand these relationships

Transient Neuronal Populations Are Required to Guide Callosal Axons: A Role for Semaphorin 3C

Neurons, glia, and callosal axons operate as a “ménage à trois” in the development of the corpus callosum

On the Size and Flight Diversity of Giant Pterosaurs, the Use of Birds as Pterosaur Analogues and Comments on Pterosaur Flightlessness

The size and flight mechanics of giant pterosaurs have received considerable research interest for the last century but are confused by conflicting interpretations of pterosaur biology and flight capabilities. Avian biomechanical parameters have often been applied to pterosaurs in such research but, due to considerable differences in avian and pterosaur anatomy, have lead to systematic errors interpreting pterosaur flight mechanics. Such assumptions have lead to assertions that giant pterosaurs were extremely lightweight to facilitate flight or, if more realistic masses are assumed, were flightless. Reappraisal of the proportions, scaling and morphology of giant pterosaur fossils suggests that bird and pterosaur wing structure, gross anatomy and launch kinematics are too different to be considered mechanically interchangeable. Conclusions assuming such interchangeability—including those indicating that giant pterosaurs were flightless—are found to be based on inaccurate and poorly supported assumptions of structural scaling and launch kinematics. Pterosaur bone strength and flap-gliding performance demonstrate that giant pterosaur anatomy was capable of generating sufficient lift and thrust for powered flight as well as resisting flight loading stresses. The retention of flight characteristics across giant pterosaur skeletons and their considerable robustness compared to similarly-massed terrestrial animals suggest that giant pterosaurs were not flightless. Moreover, the term ‘giant pterosaur’ includes at least two radically different forms with very distinct palaeoecological signatures and, accordingly, all but the most basic sweeping conclusions about giant pterosaur flight should be treated with caution. Reappraisal of giant pterosaur material also reveals that the size of the largest pterosaurs, previously suggested to have wingspans up to 13 m and masses up to 544 kg, have been overestimated. Scaling of fragmentary giant pterosaur remains have been misled by distorted fossils or used inappropriate scaling techniques, indicating that 10–11 m wingspans and masses of 200–250 kg are the most reliable upper estimates of known pterosaur size

A Concurrent Object Calculus: Reduction and Typing

We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli&apos;s imperative object calculus with operators for concurrency from the-calculus and with operators for synchronisation based on mutexes. Our syntax of terms is extremely expressive; in a precise sense it unifies notions of expression, process, store, thread, and configuration. We present a chemical-style reduction semantics, and prove it equivalent to a structural operational semantics. We identify a deterministic fragment that is closed under reduction and show that it includes the imperative object calculus. A collection of type systems for object-oriented constructs is at the heart of Abadi and Cardelli&apos;s work. We recast one of Abadi and Cardelli&apos;s first-order type systems with object types and subtyping in the setting of our calculus and prove subject reduction. Since our syntax of terms includes both stores and running expressions, we avoid the need to separate store typing from typing of expressions. We translate asynchronous communication channels and the choice-free asynchronous-calculus into our calculus to illustrate its expressiveness; the types of read-only and write-only channels are supertypes of read-write channels